#!/bin/sh
#

PATH_pwd=$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")" &> /dev/null && pwd)
source ${PATH_pwd}/../path.sh


##############################################################################
# 源码等路径

PATH_tmp=${PATH_pwd}/tmp
echo "PATH_tmp=${PATH_tmp}"


##############################################################################
# function

function do_make_clean(){
    echo "rm -rf ${PATH_tmp}"
    rm -rf ${PATH_tmp}
}

##############################################################################
# start

do_make_clean
